non-interactive argument of knowledge NARK, preprocessing NARK #cryptography #proof_system #incomplete See also NIZK References https://rdi.berkeley.edu/zkp-course/assets/Lecture2-2023.pdf https://en.wikipedia.org/wiki/Non-interactive_zero-knowledge_proof